|
|
Automatická tvorba varhanní předehry k církevním písním
Maňák, Ondřej ; Černocký, Jan (oponent) ; Fapšo, Michal (vedoucí práce)
Tato diplomová práce se zabývá problematikou automatické tvorby varhanních předeher k církevním písním z teoretického i praktického hlediska. Varhanní předehra je krátký úvod k liturgickému zpěvu. Vzhledem k tomu, že ji lze popsat pomocí konečné množiny pravidel, nabízí se k její tvorbě využít principů úloh s omezujícími podmínkami. Efektivním prostředkem pro vývoj systému potom může být programovací jazyk C++ a knihovna Gecode.
|
|
|
Harmonizace melodie na základě pravidel
Kuchár, Pavol ; Žák, Pavel (oponent) ; Fapšo, Michal (vedoucí práce)
Bakalářská práce se věnuje počítačem podporovanému přístupu ke tvorbě hudby. Vytvořený program implementuje vybraná pravidla z hudební teorie a pomocí CSP vymezuje vhodné tóny pro harmonizaci zadané melodie. Výsledek je nakonec zobrazen v notovém zápisu a hudebně demonstrován prostřednictvím MIDI souboru.
|
|
|
Automatické jazzové aranžmá
Chadim, Petr ; Karafiát, Martin (oponent) ; Fapšo, Michal (vedoucí práce)
Práce pojednává o aranžování melodie, která je doplněna jazzovými akordy. Zabývá se vytvořením dalších harmonických hlasů pomocí metody blokové harmonizace. Rozdělení na cílové a přechodové noty je provedeno pomocí techniky programování s omezujícími podmínkami (CSP). Přechodové noty jsou reharmonizovány dominantním septakordem nebo paralelním akordem. Pomocí CSP je také vytvořen basový part. Pro řešení CSP je použita knihovna Gecode. Harmonické hlasy jsou aranžovány čtyřhlasou úzkou harmonií. Výsledek aplikace slouží jako pomůcka pro hudebního aranžéra.
|
|
|
Grafické animace metod řešení úloh
Macek, Jiří ; Jurka, Pavel (oponent) ; Zbořil, František (vedoucí práce)
Pro automatizované řešení problémů výpočetní technikou se používají různé implementace umělé inteligence. Tato práce se zabývá některými typickými metodami, popisuje jejich vlastnosti, porovnává je a uvádí možný způsob algoritmizace a implementace. Cílem je vytvoření aplikace, která názorným způsobem demonstruje na vybraných úlohách metody jejich řešení.
|
|
|
Interval solver for nonlinear constraints
Garajová, Elif ; Hladík, Milan (vedoucí práce) ; Pergel, Martin (oponent)
Práce se zabývá algoritmem Sivia (Set Inverter via Interval Analysis) pro řešení spojitého problému splňování omezujících podmínek pomocí intervalo- vých metod a propagačních technik. Prezentovány jsou základní vlastnosti al- goritmu, a také oprava uváděného odhadu jeho složitosti. Dále jsou navrhnuta vylepšení týkající se testování splnění omezujících podmínek a optimalizace poč- tu intervalových boxů popisujících získané řešení problému. Představeny jsou též tzv. kontraktory používané pro zvýšení efektivity algoritmu Sivia prostřednic- tvím redukce zpracovávaných intervalových boxů. Uvedené algoritmy byly im- plementované jako knihovna funkcí jazyka Matlab tvořící solver nelineárních podmínek s možností jednoduché vizualizace získaného řešení. Součástí práce je také porovnání základních kontraktorů na konkrétních příkladech.
|
|
|
Rozvrhování zdrojů na letišti jako časově omezený rozvrhovací problém
Vandas, Marek ; Petříčková, Zuzana (vedoucí práce) ; Pangrác, Ondřej (oponent)
V této práci jsou identifikovány požadavky na bezpečný pozemní letištní provoz, který se skládá z přidělování ranvejí, taxi operací a přidělování bran. Je ukázáno, jak je možné tento problém modelovat jako problém splňování omezujících podmínek a vyřešit jej pomocí technik rozvrhování. Součástí práce je aplikace, která tyto techniky ilustruje a umožňuje následnou vizualizaci výsledků. Pro účely této aplikace byl vytvořen obecný řešič podmínek, který je snadno rozšiřitelný a využitelný i na jiný druh problémů. Další výhodou tohoto řešiče je, že umožňuje snadnou změnu prohledávací strategie.
|
|
|
Algebraický přístup k CSP
Bulín, Jakub ; Barto, Libor (vedoucí práce) ; Růžička, Pavel (oponent)
Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo NP-úplný. V první části předsdtavíme algebraický přístup k CSP a shrneme známé výsledky o CSP pro orientované grafy, tzv. H-barvení. Ve druhé části se zabýváme jistou třídou orientovaných stromů, tzv. speciálními polyádami. Pomocí algebraického přístupu potvrdíme dichotomickou hypotézu pro speciální polyády. V polynomiálním případě poskytneme jemnější popis a zkontruujeme speciální polyádu T takovou, že CSP(T) je v P, ale T nemá šířku 1 ani žádné near-unanimity polymorfismy.
|
|
|
Interval linear and nonlinear systems
Horáček, Jaroslav ; Hladík, Milan (vedoucí práce) ; Garloff, Jürgen (oponent) ; Ratschan, Stefan (oponent)
Nejprve představíme základní aspekty intervalové analýzy, role intervalů a jejich aplikace. Poté popíšeme různé třídy intervalových matic a popíšeme je- jich vztahy. Tato látka představuje základ pro jednotící téma celé práce - řešení intervalových lineárních soustav. Představíme a porovnáme několik metod pro řešení čtvercových a přeurčených intervalových soustav. Pro čtvercové soustavy představíme novou shaving me- todu, pro přeurčené soustavy představíme nové schéma podčtverců. Diskutujeme detekci neřešitelnosti a řešitelnosti soustav a porovnáme několik polynomiálních podmínek. Dokážeme, že dvě nejsilnější podmínky jsou ekvivalentní za určitého předpokladu. Řešení intervalových lineárních soustav je poté použito řešení ostat- ních problémů v této práci. Zabýváme se výpočtem obálky determinantu intervalových matic. Dokážeme NP-těžkost relativní i absolutní aproximace. Navrhneme novou metodu založenou na řešení čtvercových intervalových soustav a Kramerově pravidlu. Charakterizu- jeme rozličné třídy matic, u kterých lze spočítat meze determinantu v polynomi- álním čase. Řešení soustav rovnic je též použito k výpočtu lineární a nelineární regrese pomocí nejmenších čtverců. Ta je poté aplikována na reálná medicínská data z analýzy plicních funkcí. Výsledky produkují několik potenciálně klinicky významných...
|
|
|
Generalizing CSP-related results to infinite algebras
Olšák, Miroslav ; Barto, Libor (vedoucí práce) ; Zhuk, Dmitrii (oponent) ; Pinsker, Michael (oponent)
Nedávný výzkum v oblasti problému splnitelnosti podmínek vedl k užitečným nástrojům v uni- verzální algebře a pro studium výpočetní složitosti. Tento výzkum byl zaměřen zejména na konečné re- lační struktury a tím pádem na konečné algebry. Práce zobecňuje tyto předchozí výsledky na nekonečné algebry. Ukážeme, že ačkoli Maltsevská podmínka t(p, i, s, i) = t(s, p, i, s) obecně necharakterizuje Tay- lorovské algebry (algebry splňující netriviální idempotentní Maltsevskou podmínku) jako v konečném případě, existuje jiná silná Maltsevská podmínka, která je charakterizuje, a t(p, i, s, i) = t(s, p, i, s) charakterizuje jinou širokou třídu algeber. Také najdeme (slabou) Maltsevskou podmínku pro SD(∧) algebry (algebry splňující idempotentní Maltssevskou podmínku, kterou nelze splnit v modulech). Vedle Maltsevskych podmínek zkoumáme smyčková lemmata. Speciálně dokážeme známé konečné smyčkové lemma pomocí dvou různých (nekonečných) přístupů.
|
|
|
Visualisation of interval data
Mečiar, Martin ; Horáček, Jaroslav (vedoucí práce) ; Rada, Miroslav (oponent)
Práce se zabývá vizualizací, porovnáváním a úpravami výstupů intervalových solverů pro řešení spojitého problému splňování omezujících podmínek. V práci je předloženo autorem navržené řešení aproximace výsledků solverů. Aproximace výsledků solverů je v práci převedena na úlohu vizuálního přerozdělení jednotlivých množin výstupů solverů mezi sebou na jemnější úrovni, nežli na úrovni reálních intervalových boxů. Hlavní součástí práce je program na přiloženém CD umožňující vizualizaci, porovnání a úpravy jednotlivých řešení solverů. Program je napsán v jazyce C++, avšak je přeložitelný jako MEX soubor pro MATLAB. K programu se v práci nachází uživatelská i programátorská dokumentace. Práce uvádí několik příkladů výstupů programu v kapitole na to vyhrazené. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.